ar X iv : c s / 05 08 06 9 v 1 [ cs . L O ] 1 5 A ug 2 00 5 Real Hypercomputation and Continuity ⋆

ar X iv : c s / 06 08 05 9 v 1 [ cs . L O ] 1 4 A ug 2 00 6 A Distribution Law for CCS and a New Congruence Result

We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite π-calculus in absence of sum. To our knowledge, this is the only nontrivial subcalculus of the π-calculus that includes the full output prefix and for which strong bisimilarity is a congruence.

ar X iv : c s / 06 05 08 5 v 1 [ cs . L O ] 1 9 M ay 2 00 6 A Scalable Algorithm for Minimal Unsatisfiable Core Extraction ⋆

We propose a new algorithm for minimal unsatisfiable core extraction, based on a deeper exploration of resolution-refutation properties. We provide experimental results on formal verification benchmarks confirming that our algorithm finds smaller cores than suboptimal algorithms; and that it runs faster than those algorithms that guarantee minimality of the core. (A more complete version of thi...

ar X iv : h ep - e x / 00 08 06 5 v 1 2 6 A ug 2 00 0 Search for Large Extra Dimensions in Dielectron and Diphoton Production

ar X iv : h ep - p h / 04 08 06 5 v 1 4 A ug 2 00 4 Study of the semileptonic decay

ar X iv : m at h / 05 08 44 5 v 1 [ m at h . L O ] 2 4 A ug 2 00 5 INVARIANT MEASURES IN LUKASIEWICZ LOGIC

We prove that on the finitely generated free MV-algebras the only automorphism-invariant truth averaging process that detects pseudotrue propositions is the integral with respect to Lebesgue measure.